|
Dimiter Skordev (born 1936 in Sofia) is a professor in the Department of Mathematical Logic and Applications, Faculty of Mathematics and Computer Science at the St. Kliment Ohridski University of Sofia. Chairman of the department in 1972-2000. Doyen and pioneer of mathematical logic research in Bulgaria who developed a Bulgarian school in the theory of computability, namely the algebraic (or axiomatic) recursion theory. Skordev's field of scientific interests include computability and complexity in analysis, mathematical logic, generalized recursion theory, and theory of programs and computation. Skordev has more than 45 years of lecturing experience in calculus, mathematical logic, logic programming, discrete mathematics, and computer science. He authored about 90 scientific publications including two monographs, and was one of the authors of the new Bulgarian phonetic keyboard layout proposed (but rejected) to become a state standard in 2006. ==References== * (Dimiter Skordev ) * (Historical notes on the development of mathematical logic in Sofia ) 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Dimiter Skordev」の詳細全文を読む スポンサード リンク
|